Перевод: со всех языков на все языки

со всех языков на все языки

function of minimal type

См. также в других словарях:

  • Minimal logic — Minimal logic, or minimal calculus, is a symbolic logic system originally developed by Ingebrigt Johansson. It is a variant of intuitionistic logic that rejects not only the classical law of excluded middle (as intuitionistic logic does), but… …   Wikipedia

  • Minimal negation operator — In logic and mathematics, the minimal negation operator u! is a multigrade operator ( u {k}) {k in mathbb{N where each u {k}! is a k ary boolean function defined in such a way that u {k}(x 1, ldots , x k) = 1 if and only if exactly one of the… …   Wikipedia

  • Type 45 destroyer — The United Kingdom s Type 45 destroyer (also known as the D or Daring class) is a state of the art air defence destroyer programme of the Royal Navy. The first ship in the class, HMS Daring , was launched on February 1 2006 and is expected to… …   Wikipedia

  • Dehn function — In the mathematical subject of geometric group theory, a Dehn function, named after Max Dehn, is an optimal function associated to a finite group presentation which bounds the area of a relation in that group (that is a freely reduced word in the …   Wikipedia

  • R-Type — Infobox VG title = R Type caption = Promotional arcade flyer for the North American marketplace. developer = Irem publisher = Irem (Japan) Nintendo (North America) designer = release = Arcade version: vgrelease|JPN|July 1987 genre = Shoot em up… …   Wikipedia

  • Collagen, type XVII, alpha 1 — Identifiers Symbols COL17A1; BA16H23.2; BP180; BPAG2; FLJ60881; KIAA0204; LAD 1 External IDs …   Wikipedia

  • Simply typed lambda calculus — The simply typed lambda calculus (lambda^ o) is a typed interpretation of the lambda calculus with only one type combinator: o (function type). It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus… …   Wikipedia

  • Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline …   Wikipedia

  • C (programming language) — C The C Programming Language[1] (aka K R ) is the seminal book on C …   Wikipedia

  • Law of value — The law of value is a concept in Karl Marx s critique of political economy. Most generally, it refers to a regulative principle of the economic exchange of the products of human work: the relative exchange values of those products in trade,… …   Wikipedia

  • Traffic Control — ➡ law enforcement * * * Introduction       supervision of the movement of people, goods, or vehicles to ensure efficiency and safety.       Traffic is the movement of people and goods from one location to another. The movement typically occurs… …   Universalium

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»